#include "typedef.h"

static executable tick_sched;


/**
 * @brief Set the tick scheduler object
 *
 * @param sched_func the tick schedule function
 */
void arch_set_tick_sched(executable sched_func)
{
	tick_sched = sched_func;
}